1. Programming Language Foundations

Author:

Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY

Classification :
E-BOOK

2. Verified functional programming in Agda

Author:

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Funktionale Programmiersprache.